<!DOCTYPE html>
<!--
     SPDX-License-Identifier: CC-BY-SA-4.0
     SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
<!-- Page last generated 2025-02-20 03:16:15 +0000 -->
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>Supported platforms | seL4 docs</title>

    <!-- Our stylesheet and theme stylesheet.  Contains bootstrap. -->
    <link rel="stylesheet" href="/assets/css/style.css" type="text/css">
    <!-- Font awesome -->
    <link href="https://use.fontawesome.com/releases/v5.0.8/css/all.css" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css2?family=Roboto&display=swap" rel="stylesheet">
    <!-- Pygments syntax highlighting  -->
    <link rel="stylesheet" href="/assets/css/highlighting/trac.css" type="text/css">
    <link rel="icon" type="image/x-icon" href="/assets/favicon.ico"><script defer data-domain="docs.sel4.systems"
	    src="https://analytics.sel4.systems/js/script.js"></script></head>

  <body class="container-fluid">

    



<header>
  <ul class="row menu">
    <li class="col-xs-12 col-md-2" >
            <a href="https://sel4.systems" class="skip-icon">
              <img class="img-responsive" src="/assets/logo-text-white.svg" alt="seL4 logo" />
            </a>
    </li>
    <li class="col-xs-12 col-md-10 menu">
      <nav aria-label="Banner links">
        <h2><a href="/Resources" />Resources</h2>
        <h2><a href="/processes" />Contributing</a></h2>
        <h2><a href="/projects" />Projects</h2>
        <h2><a href="/Tutorials" />Tutorials</h2>
        <iframe title="DuckDuckGo search bar" src="https://duckduckgo.com/search.html?site=docs.sel4.systems&prefill=Search%20sel4.systems" style="overflow:hidden;margin-bottom:10px; padding:0;height:40px;float:right;border-width: 0px"></iframe>
      </nav>
    </li>
  </ul>
  <div class="clear"></div>
  
<div class="breadcrumbs bootstrap hidden-sm-down">
  <nav class="sel-breadcrumb" aria-label="Breadcrumb" >
    <ol class=" list-unstyled" vocab="http://schema.org/" typeof="BreadcrumbList">
      
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/">
              <span property="name"><b>seL4 Docs</b></span>
            </a>
            <meta property="position" content="1" />
        </li>
      
        

        
          <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <span property="name">Supported platforms</span>
            <meta property="position" content="2" /></li>
          
    </ol>
  </nav>
  <nav class="sel-version" aria-label="Current Versions">
    <ol class="list-unstyled">
      <li class="list-unstyled text-right" style="margin-left:auto; padding:0rem 0rem;">
        Current versions:</li>
      <li class="list-unstyled text-right">
      <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/capdl/0.3.0"><b>capDL-0.3.0</b></a></li>
      </ol>
  </nav>
  <div class='clear'></div>
</div>


</header>

    <main>
      <div class="row">
  <div class="hidden-xs col-sm-4 col-md-3 col-lg-2">
    


<div class="sidebar">



      <ul class="nav nav-sidebar">
  
        <li class="">
          <a class="" href="/Resources.html">
            Resources
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/sel4/documentation.html">
            seL4 Documentation
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/sel4/frequently-asked-questions.html">
            seL4 FAQ
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/buildsystem/host-dependencies.html">
            Set up your machine
          </a>
        </li>
  
        <li class="active">
          <a class="" href="/Hardware/">
            Supported platforms
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/available-user-components.html">
            Available components
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/roadmap.html">
            Roadmap
          </a>
        </li>
  
        <li class="">
          <a class="" href="/CommunityProjects.html">
            Community projects
          </a>
        </li>
  
        <li class="">
          <a class="" href="/releases/sel4">
            Release Notes
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/sel4/api-doc.html">
            libsel4 API
          </a>
        </li>
  
        <li class="">
          <a class="" href="https://sel4.systems/Info/Docs/seL4-manual-latest.pdf">
            Current Manual
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/sel4/verified-configurations.html">
            Verified Configurations
          </a>
        </li>
  
      </ul>














</div>

  </div>
  <div class="col-sm-8 col-md-9 col-lg-8 main">
    
    <div class="content">
      <h1 id="supported-platforms">Supported platforms</h1>

<h3 id="summary">Summary</h3>

<p>seL4 is available on 3 major hardware architectures, <a href="#arm">ARM</a>,
<a href="#risc-v">RISC-V</a> and <a href="#x86">x86</a>, for a number of platforms with varying
hardware features.</p>

<p>seL4 is formally verified for specific configurations for a subset of these
platforms. The depth of the proofs and which properties are verified depend on
the platform.</p>

<p>The tables below provide more details.</p>

<h3 id="platforms-attributes">Platforms’ attributes</h3>

<p>The tables below list the platforms for which seL4 is available. For each
platform, the tables list:</p>

<ul>
  <li>whether specific features are supported (e.g. <em>Virtualisation</em>, <em>IOMMU/SMMU</em>, etc) and to which degree (where applicable);</li>
  <li>the <em>verification status</em> (see more <a href="#verification-status">below</a>);</li>
  <li>who has contributed this platform port;</li>
  <li>who is maintaining this platform port.</li>
</ul>

<h3 id="verification-status">Verification status</h3>

<p>The seL4 proofs only hold for specific configurations, as noted in the <em>Verification Status</em> column in the tables, as follows:</p>

<ul>
  <li>Unverified: this platform is not verified at all and is not scheduled for verification.</li>
  <li>Ongoing: this feature is currently undergoing verification.</li>
  <li>FC: the functional correctness proofs are complete.</li>
  <li>Verified: all proofs for this platform are complete, including functional correctness, integrity and information flow.</li>
</ul>

<p>More information can be found on the <a href="/projects/sel4/verified-configurations.html">Verified Configurations</a> page.</p>

<h3 id="not-in-the-lists-below">Not in the lists below?</h3>

<p>If the platform, architecture, feature that you are after is not listed on this page,
you have several options, listed below. It is important to note however that, as
explained in the guidelines linked below, contributing new ports or features will require
compelling arguments, discussion with the technical community (including through
Request-For-Comments), as well as testing requirements and maintenance/expertise
commitment, to a degree depending on the nature of the contribution.</p>

<ul>
  <li>
    <p>You can contact one of the seL4 Foundation <a href="https://sel4.systems/Foundation/Services/">Endorsed Services
Providers</a> to get commercial
support or professional advice to develop such a port or feature (with the
implications and expectations detailed in our <a href="../projects/sel4/kernel-contribution.html">guidelines for contributing
kernel code</a>);</p>
  </li>
  <li>
    <p>You can check the <a href="../projects/roadmap.html">roadmap</a> for any planned
contributions, from the seL4 Foundation or larger community, such on any new
architecture ports, new large formal verifications, or large or fundamental
new features;</p>
  </li>
  <li>
    <p>You can contact the seL4 community through one of our <a href="https://sel4.systems/contact/">communication
channels</a> to ask whether someone is developing
such a port or feature already, or whether there is general interest in discussing
such a new port or feature;</p>
  </li>
  <li>
    <p>If you are in a position to develop the seL4 port or feature yourself, you
should follow our <a href="../projects/sel4/kernel-contribution.html">guidelines for contributing kernel
code</a>, which details the
implications and expectations.</p>
  </li>
</ul>

<h3 id="simulating-sel4">Simulating seL4</h3>

<p>Running seL4 in a simulator is a quick way to test it out and iteratively develop software.
Note that feature support is then limited by the simulator.
See <a href="/seL4Test#RunningIt">Running It</a> for how to run seL4 using Qemu.</p>

<p>You can also <a href="VMware">run seL4 on VMware</a>.</p>

<h2 id="arm">ARM</h2>

<p>seL4 has support for select ARMv7 and ARMv8 Platforms.</p>

<ul>
  <li><a href="GeneralARM">General info on ARM Platforms</a></li>
</ul>

<table>
  <thead>
    <tr>
      <th>Platform</th>
      <th>System-on-chip</th>
      <th>Core</th>
      <th>Arch</th>
      <th>Virtualisation</th>
      <th>SMMU</th>
      <th>Verification Status</th>
      <th>Contributed by</th>
      <th>Maintained by</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><a href="/Hardware/MaaXBoard.html">Avnet MaaXBoard</a></td>
      <td>i.MX8MQ</td>
      <td>Cortex-A53 Quad 1.5 GHz</td>
      <td>ARMv8A</td>
      <td>No</td>
      <td>No</td>
      <td>Unverified</td>
      <td><a href="https://capgemini-engineering.com">Capgemini Engineering</a></td>
      <td><a href="https://capgemini-engineering.com">Capgemini Engineering</a></td>
    </tr>
    <tr>
      <td><a href="/Hardware/BeagleBoard.html">BeagleBoard</a></td>
      <td>OMAP3</td>
      <td>Cortex-A8</td>
      <td>ARMv7A</td>
      <td>No</td>
      <td>No</td>
      <td>Unverified</td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="/Hardware/Beaglebone.html">BeagleBone Black / Blue</a></td>
      <td>AM335x</td>
      <td>Cortex-A8</td>
      <td>ARMv7A</td>
      <td>No</td>
      <td>No</td>
      <td>Unverified</td>
      <td>Community</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="/Hardware/HiKey/">HiKey</a></td>
      <td>Kirin 620</td>
      <td>Cortex-A53</td>
      <td>ARMv8A</td>
      <td>ARM HYP</td>
      <td>No</td>
      <td><a href="/projects/sel4/verified-configurations.html#hikey">Verified</a></td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="/Hardware/imx8mm.html">Imx8mm</a></td>
      <td>IMX8MM-EVK</td>
      <td>Cortex-A53 Quad 1.8 GHz</td>
      <td>ARMv8A, AArch64</td>
      <td>No</td>
      <td>No</td>
      <td><a href="/projects/sel4/verified-configurations.html#imx8mm">FC</a></td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="/Hardware/OdroidC2.html">Odroid-C2</a></td>
      <td>Amlogic S905</td>
      <td>Cortex-A53</td>
      <td>ARMv8A, AArch64 only</td>
      <td>No</td>
      <td>No</td>
      <td><a href="/projects/sel4/verified-configurations.html#odroidc2">FC complete, Integrity ongoing</a></td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="/Hardware/OdroidC4.html">Odroid-C4</a></td>
      <td>Amlogic S905X3</td>
      <td>Cortex-A55</td>
      <td>ARMv8A, AArch64 only</td>
      <td>Yes</td>
      <td>No</td>
      <td><a href="/projects/sel4/verified-configurations.html#odroidc4">FC complete, Integrity ongoing</a></td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="/Hardware/odroidx.html">OdroidX</a></td>
      <td>Exynos4412</td>
      <td>Cortex-A9</td>
      <td>ARMv7A</td>
      <td>No</td>
      <td>No</td>
      <td><a href="/projects/sel4/verified-configurations.html#exynos4">Verified</a></td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="/Hardware/OdroidXU.html">OdroidXU</a></td>
      <td>Exynos5</td>
      <td>Cortex-A15</td>
      <td>ARMv7A</td>
      <td>ARM HYP</td>
      <td>limited SMMU</td>
      <td><a href="/projects/sel4/verified-configurations.html#arm_hyp-exynos-5">Verified</a></td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="/Hardware/OdroidXU4.html">OdroidXU4</a></td>
      <td>Exynos5</td>
      <td>Cortex-A15</td>
      <td>ARMv7A</td>
      <td>ARM HYP</td>
      <td>limited SMMU</td>
      <td><a href="/projects/sel4/verified-configurations.html#arm_hyp-exynos5">FC with HYP, no SMMU</a></td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="/Hardware/Rpi3.html">Raspberry Pi 3-b</a></td>
      <td>BCM2837</td>
      <td>Cortex-A53</td>
      <td>ARMv8A</td>
      <td>ARM HYP</td>
      <td>No</td>
      <td>Unverified</td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="/Hardware/Rpi4.html">Raspberry Pi 4B</a></td>
      <td>BCM2711</td>
      <td>Cortex-A72</td>
      <td>ARMv8A</td>
      <td>ARM HYP</td>
      <td>No</td>
      <td><a href="/projects/sel4/verified-configurations.html#bcm2711">FC complete, Integrity ongoing</a></td>
      <td><a href="https://hensoldt-cyber.com">Hensoldt</a> and <a href="https://gitlab.com/arm-research/security/icecap/icecap">ARM Research IceCap</a></td>
      <td><a href="https://hensoldt-cyber.com">Hensoldt</a></td>
    </tr>
    <tr>
      <td><a href="/Hardware/rockpro64.html">Rockpro64</a></td>
      <td>RK3399 hexa-core</td>
      <td>Cortex-A53 Quad 1.8 GHz</td>
      <td>ARMv8A, AArch64</td>
      <td>No</td>
      <td>No</td>
      <td>Unverified</td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="/Hardware/sabreLite.html">Sabre Lite</a></td>
      <td>i.MX6</td>
      <td>Cortex-A9</td>
      <td>ARMv7A</td>
      <td>No</td>
      <td>No</td>
      <td><a href="/projects/sel4/verified-configurations.html#arm-sabre-lite">Verified</a></td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="/Hardware/jetsontk1.html">TK1</a></td>
      <td>NVIDIA Tegra K1</td>
      <td>Cortex-A15</td>
      <td>ARMv7A</td>
      <td>ARM HYP</td>
      <td>SMMU</td>
      <td><a href="/projects/sel4/verified-configurations.html#tk1">Verified</a></td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="/Hardware/CEI_TK1_SOM/">TK1-SOM</a></td>
      <td>NVIDIA Tegra K1</td>
      <td>Cortex-A15</td>
      <td>ARMv7A</td>
      <td>ARM HYP</td>
      <td>SMMU</td>
      <td><a href="/projects/sel4/verified-configurations.html#arm_hyp-tk1">FC with HYP, no SMMU</a></td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="/Hardware/jetsontx1.html">TX1</a></td>
      <td>NVIDIA Tegra X1</td>
      <td>Cortex-A57 Quad</td>
      <td>ARMv8A, AArch64 only</td>
      <td>ARM HYP</td>
      <td>SMMU</td>
      <td>Unverified</td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="/Hardware/JetsonTX2.html">TX2</a></td>
      <td>NVIDIA Tegra X2</td>
      <td>Cortex-A57 Quad, Dual NVIDIA Denver</td>
      <td>ARMv8A, AArch64 only</td>
      <td>Yes</td>
      <td>Yes</td>
      <td><a href="/projects/sel4/verified-configurations.html#aarch64">FC complete, Integrity ongoing</a></td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="/Hardware/ultra96v2.html">Ultra96v2 Evaluation Kit</a></td>
      <td>Zynq UltraScale+ MPSoC</td>
      <td>Cortex-A53</td>
      <td>ARMv8A</td>
      <td>ARM HYP</td>
      <td>SMMU</td>
      <td>Unverified</td>
      <td><a href="https://dornerworks.com">DornerWorks</a></td>
      <td><a href="https://dornerworks.com">DornerWorks</a></td>
    </tr>
    <tr>
      <td><a href="/Hardware/ZCU102.html">Zynq ZCU102 and ZCU106 Evaluation Kits</a></td>
      <td>Zynq UltraScale+ MPSoC</td>
      <td>Cortex-A53</td>
      <td>ARMv8A</td>
      <td>ARM HYP</td>
      <td>SMMU</td>
      <td><a href="/projects/sel4/verified-configurations.html#zynqmp">FC complete, Integrity ongoing</a></td>
      <td><a href="https://dornerworks.com">DornerWorks</a></td>
      <td><a href="https://dornerworks.com">DornerWorks</a></td>
    </tr>
    <tr>
      <td><a href="/Hardware/ZC706.html">Zynq-7000 ZC706 Evaluation Kit</a></td>
      <td>Zynq7000</td>
      <td>Cortex-A9</td>
      <td>ARMv7A</td>
      <td>No</td>
      <td>No</td>
      <td><a href="/projects/sel4/verified-configurations.html#zynq7000">Verified</a></td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="/Hardware/imx8mq.html">imx8mq</a></td>
      <td>MCIMX8M-EVKB</td>
      <td>Cortex-A53 Quad 1.5 GHz</td>
      <td>ARMv8A</td>
      <td>No</td>
      <td>No</td>
      <td>Unverified</td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
  </tbody>
</table>

<h2 id="risc-v">RISC-V</h2>

<p>We currently provide support for some of the RISC-V platforms. Support for the hypervisor extension is yet to be mainlined.</p>

<table>
  <thead>
    <tr>
      <th>Platform</th>
      <th>Simulation</th>
      <th>System-on-chip</th>
      <th>Core</th>
      <th>Arch</th>
      <th>Virtualisation</th>
      <th>Verification Status</th>
      <th>Contributed by</th>
      <th>Maintained by</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><a href="/Hardware/ariane.html">Ariane</a></td>
      <td>No</td>
      <td> </td>
      <td>Ariane</td>
      <td>RV64IMAC</td>
      <td>No</td>
      <td>Unverified</td>
      <td>Data61</td>
      <td>Hensoldt Cyber</td>
    </tr>
    <tr>
      <td><a href="/Hardware/cheshire.html">Cheshire</a></td>
      <td>No</td>
      <td> </td>
      <td>Cheshire</td>
      <td>RV64IMAFDC</td>
      <td>No</td>
      <td>Unverified</td>
      <td>UNSW</td>
      <td>UNSW</td>
    </tr>
    <tr>
      <td><a href="/Hardware/hifive.html">HiFive Unleashed</a></td>
      <td>No</td>
      <td>Freedom U540</td>
      <td>U54-MC, E51</td>
      <td>RV64IMAC, RV64GC</td>
      <td>No</td>
      <td><a href="/projects/sel4/verified-configurations.html#riscv64">Verified</a></td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="/Hardware/polarfire.html">Microchip PolarFire Icicle Kit</a></td>
      <td>No</td>
      <td>PolarFire SoC FPGA</td>
      <td>U54-MC, E51</td>
      <td>RV64IMAC, RV64GC</td>
      <td>No</td>
      <td>Unverified</td>
      <td><a href="https://dornerworks.com">DornerWorks</a></td>
      <td><a href="https://dornerworks.com">DornerWorks</a></td>
    </tr>
    <tr>
      <td><a href="/Hardware/rocketchip-zcu102.html">Rocketchip</a></td>
      <td>No</td>
      <td> </td>
      <td>Rocket</td>
      <td>RV64IMAFDC</td>
      <td>Yes</td>
      <td>Unverified</td>
      <td>DornerWorks</td>
      <td>DornerWorks</td>
    </tr>
    <tr>
      <td><a href="/Hardware/rocketchip.html">Rocketchip</a></td>
      <td>No</td>
      <td> </td>
      <td>Rocket</td>
      <td>RV64IMAFDC</td>
      <td>No</td>
      <td>Unverified</td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="/Hardware/spike.html">Spike</a></td>
      <td>Yes</td>
      <td> </td>
      <td> </td>
      <td>RV32GC, RV64IMAFDC</td>
      <td>No</td>
      <td>Unverified</td>
      <td>Data61, <a href="https://github.com/heshamelmatary">Hesham Almatary</a></td>
      <td>seL4 Foundation</td>
    </tr>
  </tbody>
</table>

<h2 id="x86">x86</h2>

<p>We support PC99-style Intel Architecture Platforms.</p>

<table>
  <thead>
    <tr>
      <th>Platform</th>
      <th>Arch</th>
      <th>Virtualisation</th>
      <th>IOMMU</th>
      <th>Verification Status</th>
      <th>Contributed by</th>
      <th>Maintained by</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><a href="IA32">PC99 (32-bit)</a></td>
      <td>x86</td>
      <td>VT-X</td>
      <td>VT-D</td>
      <td>Unverified</td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
    <tr>
      <td><a href="IA32">PC99 (64-bit)</a></td>
      <td>x64</td>
      <td>VT-X</td>
      <td>VT-D</td>
      <td><a href="/projects/sel4/verified-configurations.html#x64">FC (without VT-X, VT-D and fastpath)</a></td>
      <td>Data61</td>
      <td>seL4 Foundation</td>
    </tr>
  </tbody>
</table>

<hr />

<h2 id="unmaintained-platforms"><span style="color:grey">Unmaintained platforms</span></h2>

<p><span style="color:grey">
Unmaintained platforms are platforms for which code has been contributed, but
this code is not or no longer tested and is unlikely to work. We list these
here, because bringing an unmaintained platform up may be faster and easier than
starting from scratch on a new platform port.</span></p>

<h3 id="arm-1"><span style="color:grey">ARM</span></h3>

<table>
  <thead>
    <tr>
      <th><span style="color:grey">Platform</span></th>
      <th><span style="color:grey">System-on-chip</span></th>
      <th><span style="color:grey">Core</span></th>
      <th><span style="color:grey">Arch</span></th>
      <th><span style="color:grey">Virtualisation</span></th>
      <th><span style="color:grey">SMMU</span></th>
      <th><span style="color:grey">Verification Status</span></th>
      <th><span style="color:grey">Contributed by</span></th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><span style="color:grey"><a href="/Hardware/arndale.html">Arndale</a></span> (<strong>unmaintained</strong>)</td>
      <td><span style="color:grey">Exynos5</span></td>
      <td><span style="color:grey">Cortex-A15</span></td>
      <td><span style="color:grey">ARMv7A</span></td>
      <td><span style="color:grey">ARM HYP</span></td>
      <td><span style="color:grey">No</span></td>
      <td><span style="color:grey">Unverified</span></td>
      <td><span style="color:grey">Data61</span></td>
    </tr>
    <tr>
      <td><span style="color:grey"><a href="/Hardware/IF6410.html">Inforce IFC6410</a></span> (<strong>unmaintained</strong>)</td>
      <td><span style="color:grey">Snapdragon S4 Pro APQ8064</span></td>
      <td><span style="color:grey">Krait (Cortex-A15 like)</span></td>
      <td><span style="color:grey">ARMv7A</span></td>
      <td><span style="color:grey">No</span></td>
      <td><span style="color:grey">No</span></td>
      <td><span style="color:grey">Unverified</span></td>
      <td><span style="color:grey">Data61</span></td>
    </tr>
  </tbody>
</table>


    </div>
  </div>
</div>

    </main>
    


<footer class="site-footer">

  <h2 class="footer-heading">seL4 docs</h2>

  <div class="footer-col-wrapper">

    <div class="col-md-2">
      



<ul class="social-media-list">
  <li><a href="https://github.com/sel4"><i class="fab fa-github"></i> <span class="username">sel4</span></a></li><li><a href="https://github.com/sel4proj"><i class="fab fa-github"></i> <span class="username">sel4proj</span></a></li>
</ul>

    </div>

    <div class="col-md-8">
      <ul class="list-unstyled">
        <li>
          This site is for displaying seL4 related documentation.  Pull requests are welcome.
        </li>
        
          <li>
            Site last updated: Fri Feb 7 10:17:38 2025 +1100 ee78c8857c
          </li>
          <li>
                Page last updated: Wed Jul 3 09:12:33 2024 +1000 a74bc9bc51
          </li>
        
      </ul>
    </div>
    <div class="col-md-2">
<a href="https://github.com/seL4/docs/blob/master/Hardware/index.md">View page on GitHub</a>
      <br />
      <a href="https://github.com/seL4/docs/edit/master/Hardware/index.md">Edit page on GitHub</a>
      <br />
      <a href="/sitemap">Sitemap</a>
    </div>

  </div>

</footer>

  </body>
</html>
